countability axioms

【数学】可数(性)公理